A Framework for Design Process Speci® cations Management
نویسندگان
چکیده
Major con ̄ icts in design process management seem to stem from speci® cation con ̄ icts among the constituent coupled design tasks. Coupled tasks represent con ̄ icts in the ̄ ow of information of a design process. Resolving these speci® cation con ̄ icts early on in the development process tends to reduce product development lead times and cost. In this paper, we attempt to explain the coupling or interdependency in design tasks by the speci® cations imposed on these tasks. Then, we formulate the fundamental equations necessary for engineering speci® cation management and devise a graphical tool for design process improvement. The major hypothesis investigated is that any two coupled tasks can be de-coupled if the speci® cation of one task can be designed to absorb a certain percentage of any possible variation in the output of the other task.
منابع مشابه
A framework for modeling transfer protocols
The notion of speci®cation frameworks transposes the framework approach from software development to the level of formal modeling and analysis. A speci®cation framework is devoted to a special application domain. It supplies reusable speci®cation modules and guides the construction of speci®cations. Moreover, it provides theorems to be used as building blocks of veri®cations. By means of a suit...
متن کاملA formal framework for business process modelling and design
We present a formal framework for enterprise and business process modeling The concepts of our framework objectives and goals roles and actors actions and processes responsibil ities and constraints allow business analysts to capture enterprise knowledge in a way that is both intuitive and mathematically formal We also outline the basic steps of a methodology that allows business analysts to pr...
متن کاملTest Selection Criteria for Modal Speci cations of Reactive Systems
In the framework of functional testing from algebraic speci cations, the strategy of test selection which has been widely and e ciently applied is based on axiom unfolding. In this paper, we propose to extend this selection strategy to a modal formalism used to specify dynamic and reactive systems. Such a work is then a rst step to tackle testing of such systems more abstractly than most of the...
متن کاملManagement of Evolving Specifications using Category Theory
Structure is important in large speci cations for understanding, testing and managing change. Category theory has been explored as framework for providing this structure, and has been successfully used to compose speci cations. This work has typically adopted a \correct by construction" approach: components are speci ed, proved correct and then composed together in such a way to preserve their ...
متن کاملExtending an OMA-based DRM Framework with Non-Repudiation Services∗
Digital Rights Management (DRM) is an umbrella term for any of several arrangements which allows a vendor of content in electronic form to control the material and restrict its usage in various ways that can be speci ed by the vendor. These arrangements are provided through security techniques, mainly encryption, and the distribution, in a detached manner, of content and rights. This allows fre...
متن کامل